#include <stdio.h>
#include<string.h>
int main(int argc, char *argv[]) {
	int max = 100;
	char command[100];
	int n = 0;
	char ch;
	int i;
	while((ch=getchar())!='\n')
	{
		command[n++] = ch;
	}
	for(i=0;i<n;i++)
	{
		if(command[i] == ' ')
		{
				break;
		}
	}
	printf("%d\n",i);
	for(int j=0;j<i;j++)
	{
		printf("%c",command[j]);
	}
	printf("\n");
	for(int j=i+1;j<n;j++)
		{
			printf("%c",command[j]);
		}
}